<?php
include('gest_login.php');
include("database.php"); 
	
	logout();
	
	//logout forzato dopo cambio di indirizzo mail
	if($_GET['mail'] == 1)
		header("Location: index.php?code_err=4");
	//logout normale
	else
		header("Location: index.php");

?>